Showing 126 - 150 of 151 Results
126.
Intuitionism: an Introduction by Beklemishev, Lev D. ISBN: 9780080957371
127.
Provability by Beklemishev, Lev D. ISBN: 9780080957432
129.
Formal Systems and Recursive Functions by Beklemishev, Lev D. ISBN: 9780080957609
130.
Logic in Algebraic Form: Three Languages and Theories by Craig, William, Beklemishev... ISBN: 9780080954837
131.
The Axiom of Choice by Jech, Thomas J., Beklemishe... ISBN: 9780080954851
132.
Combinatorial Set Theory by Williams, Neil H., Beklemis... ISBN: 9780080954998
133.
Large Infinitary Languages: Model Theory by Dickmann, M. A., Beklemishe... ISBN: 9780080954936
135.
Computer Programming and Formal Systems by Beklemishev, Lev D. ISBN: 9780080957555
136.
Combinatory Logic by Beklemishev, Lev D. ISBN: 9780080957425
138.
Aristotle's Modal Syllogisms by Beklemishev, Lev D. ISBN: 9780080957517
139.
Logic Colloquium '77: Proceedings of the Colloquium Held in Wroclaw, August 1977 by Macintyre, Angus, Beklemish... ISBN: 9780080955049
140.
Constructible Sets with Applications by Beklemishev, Lev D. ISBN: 9780080957760
141.
Sets and Classes: On the Work by Paul Bernays by Unknown, Beklemishev, Lev D. ISBN: 9780080954943
142.
Provability, Computability and Reflection by Kunen, Kenneth, Beklemishev... ISBN: 9780080955087
143.
A Transfinite Type Theory with Type Variables by Beklemishev, Lev D. ISBN: 9780080957579
145.
Provability by Beklemishev, Lev D. ISBN: 9780080954790
147.
Elements of Mathematical Logic: (model Theory) by Beklemishev, Lev D. ISBN: 9780080957678
148.
Languages with Expressions of Infinite Length by Beklemishev, Lev D. ISBN: 9780080957562
150.
Set Theory: an Introduction to Large Cardinals by Drake, F. R., Beklemishev, ... ISBN: 9780080954868
Showing 126 - 150 of 151 Results - Browse more Beklemishev Lev D. in all departments
| 1... 3 4 5 6 7 |